Skip to content
This repository was archived by the owner on Nov 6, 2020. It is now read-only.

Backport Master CI PRs to Beta#7890

Merged
5chdn merged 9 commits into
betafrom
a5-ci-beta
Feb 14, 2018
Merged

Backport Master CI PRs to Beta#7890
5chdn merged 9 commits into
betafrom
a5-ci-beta

Conversation

@5chdn
Copy link
Copy Markdown
Contributor

@5chdn 5chdn commented Feb 14, 2018

@5chdn 5chdn added A3-inprogress ⏳ Pull request is in progress. No review needed at this stage. A8-backport 🕸 Pull request is already reviewed well in another branch. M1-ci 🙉 Continuous integration. labels Feb 14, 2018
@5chdn 5chdn added this to the Patch milestone Feb 14, 2018
@5chdn 5chdn removed the A3-inprogress ⏳ Pull request is in progress. No review needed at this stage. label Feb 14, 2018
@5chdn 5chdn merged commit 1de095f into beta Feb 14, 2018
@5chdn 5chdn deleted the a5-ci-beta branch February 14, 2018 15:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

A8-backport 🕸 Pull request is already reviewed well in another branch. M1-ci 🙉 Continuous integration.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants